Assert ($P$ $\Rightarrow$ $Q$) $\in$ $\mathbb{P}$